Algorithmic Learning Foundations for Common Law